This is TeX, WAITS Version 1.5 (preloaded format=plain 85.8.10)  3 OCT 1985 10:39
**BIOJMC.TEX
(BIOJMC.TEX[1,JMC] [1] [2]
Overfull \hbox (10.95238pt too wide) in paragraph at lines 59--61, p.4
[]\tenbf McCarthy, John (1962)\tenrm : ``Com-puter Pro-grams for Check-ing Math-
e-mat-i-cal Proofs'',

\hbox(7.5+2.5)x361.34999, glue set - 1.0
.\hbox(0.0+0.0)x0.0
.\tenbf M
.\tenbf c
.\tenbf C
.\tenbf a
.etc.

[3] [4]
Overfull \hbox (0.42038pt too wide) in paragraph at lines 214--218, p.4
[]\tenbf Gabriel, Richard and John Mc-Carthy (1984)\tenrm : ``Queue-based Multi-
processing

\hbox(7.5+2.5)x361.34999, glue set - 1.0
.\hbox(0.0+0.0)x0.0
.\tenbf G
.\tenbf a
.\tenbf b
.\tenbf r
.etc.

[5]
Output written on BIOJMC.DVI[1,JMC] (5 pages, 16804 bytes).